formal lower bound

形式下限